MOBY/PLC - Graphical Development of PLC-Automata
نویسندگان
چکیده
Moby/plc is a graphical design tool for PLC-Automata, a special class of hierarchical real-time automata suitable for the description of distributed real-time systems that are implementable on a widely used hardware platform, so-called Programmable Logic Controllers (PLCs). In this paper we sketch the modelling language in use and some features of Moby/plc, like several validation methods and code generation.
منابع مشابه
Implementing Hierarchical Graph-Structures
We present concepts for the implementation of hierarchical graphs, which can be used as basis for the implementation of tools for graphical formal description techniques (gFDT) like SDL or statecharts. Our approach provides a strong modularity of a speciication by a loose coupling between diierent hierarchy levels and it serves for a rapid development of interactive editors for gFDTs by a speci...
متن کاملSpeci cation and Reasoning : Case Study Generalised Railroad Crossing ?
A benchmark real-time problem, the generalised railroad crossing 9], serves as illustration of a fully graphical approach to the formal development of correct reactive real-time systems. We show how to formally capture requirements with the graphical language Constraint Diagrams 6] and perform graphical reenement steps towards im-plementable requirements. These requirements correspond directly ...
متن کاملSpeci cation and Reasoning : Case Study Generalised
A benchmark real-time problem, the generalised railroad crossing 9], serves as illustration of a fully graphical approach to the formal development of correct reactive real-time systems. We show how to formally capture requirements with the graphical language Constraint Diagrams 6] and perform graphical reenement steps towards imple-mentable requirements. These requirements correspond directly ...
متن کاملMoby/RT: A Tool for Specification and Verification of Real-Time Systems
The tool Moby/RT supports the design of real-time systems at the levels of requirements, design specifications and programs. Requirements are expressed by constraint diagrams [Kleuker, 2000], design specifications by PLC-Automata [Dierks, 2000], and programs by Structured Text, a programming language dedicated for programmable logic controllers (PLCs), or by programs for LEGO Mindstorm robots. ...
متن کاملSpeciication and Veriication of Polling Real-time Systems
Formal methods for real-time systems are an important topic of contemporary research. The aim is to cope with the additional complexity of \time" in speciication and veriication. In Die99a] we present an approach to the correct design of real-time programs implemented on \Programmable Logic Controllers" (PLCs). This hardware executes repeatedly an application program whereas each cycle has an u...
متن کامل